The Runtime Complexity (innermost) of the given CpxTRS could be proven to be BOUNDS(O(1), O(n^1)).

(0) Obligation:

Runtime Complexity TRS:
The TRS R consists of the following rules:

0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(x1))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(x1)))))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))
0(1(2(1(x1)))) → 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))

Rewrite Strategy: INNERMOST

(1) CpxTrsMatchBoundsProof (EQUIVALENT transformation)

A linear upper bound on the runtime complexity of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 2.
The certificate found is represented by the following graph.

Start state: 1406
Accept states: [1407]
Transitions:
1406→1407[0_1|0]
1406→1406[1_1|0, 2_1|0]
1406→1408[2_1|1]
1406→1417[2_1|1]
1406→1429[2_1|1]
1406→1444[2_1|1]
1406→1462[2_1|1]
1406→1483[2_1|1]
1406→1507[2_1|1]
1406→1534[2_1|1]
1408→1409[1_1|1]
1409→1410[0_1|1]
1410→1411[2_1|1]
1411→1412[1_1|1]
1412→1413[0_1|1]
1413→1414[1_1|1]
1414→1415[1_1|1]
1415→1416[2_1|1]
1416→1407[1_1|1]
1416→1410[1_1|1]
1416→1419[1_1|1]
1416→1431[1_1|1]
1416→1446[1_1|1]
1416→1464[1_1|1]
1416→1485[1_1|1]
1416→1509[1_1|1]
1416→1536[1_1|1]
1416→1564[2_1|2]
1416→1573[2_1|2]
1416→1585[2_1|2]
1416→1600[2_1|2]
1416→1618[2_1|2]
1416→1639[2_1|2]
1416→1663[2_1|2]
1416→1690[2_1|2]
1417→1418[1_1|1]
1418→1419[0_1|1]
1419→1420[2_1|1]
1420→1421[1_1|1]
1421→1422[0_1|1]
1422→1423[2_1|1]
1423→1424[1_1|1]
1424→1425[0_1|1]
1425→1426[1_1|1]
1426→1427[1_1|1]
1427→1428[2_1|1]
1428→1407[1_1|1]
1428→1410[1_1|1]
1428→1419[1_1|1]
1428→1431[1_1|1]
1428→1446[1_1|1]
1428→1464[1_1|1]
1428→1485[1_1|1]
1428→1509[1_1|1]
1428→1536[1_1|1]
1428→1564[2_1|2]
1428→1573[2_1|2]
1428→1585[2_1|2]
1428→1600[2_1|2]
1428→1618[2_1|2]
1428→1639[2_1|2]
1428→1663[2_1|2]
1428→1690[2_1|2]
1429→1430[1_1|1]
1430→1431[0_1|1]
1431→1432[2_1|1]
1432→1433[1_1|1]
1433→1434[0_1|1]
1434→1435[2_1|1]
1435→1436[1_1|1]
1436→1437[0_1|1]
1437→1438[2_1|1]
1438→1439[1_1|1]
1439→1440[0_1|1]
1440→1441[1_1|1]
1441→1442[1_1|1]
1442→1443[2_1|1]
1443→1407[1_1|1]
1443→1410[1_1|1]
1443→1419[1_1|1]
1443→1431[1_1|1]
1443→1446[1_1|1]
1443→1464[1_1|1]
1443→1485[1_1|1]
1443→1509[1_1|1]
1443→1536[1_1|1]
1443→1564[2_1|2]
1443→1573[2_1|2]
1443→1585[2_1|2]
1443→1600[2_1|2]
1443→1618[2_1|2]
1443→1639[2_1|2]
1443→1663[2_1|2]
1443→1690[2_1|2]
1444→1445[1_1|1]
1445→1446[0_1|1]
1446→1447[2_1|1]
1447→1448[1_1|1]
1448→1449[0_1|1]
1449→1450[2_1|1]
1450→1451[1_1|1]
1451→1452[0_1|1]
1452→1453[2_1|1]
1453→1454[1_1|1]
1454→1455[0_1|1]
1455→1456[2_1|1]
1456→1457[1_1|1]
1457→1458[0_1|1]
1458→1459[1_1|1]
1459→1460[1_1|1]
1460→1461[2_1|1]
1461→1407[1_1|1]
1461→1410[1_1|1]
1461→1419[1_1|1]
1461→1431[1_1|1]
1461→1446[1_1|1]
1461→1464[1_1|1]
1461→1485[1_1|1]
1461→1509[1_1|1]
1461→1536[1_1|1]
1461→1564[2_1|2]
1461→1573[2_1|2]
1461→1585[2_1|2]
1461→1600[2_1|2]
1461→1618[2_1|2]
1461→1639[2_1|2]
1461→1663[2_1|2]
1461→1690[2_1|2]
1462→1463[1_1|1]
1463→1464[0_1|1]
1464→1465[2_1|1]
1465→1466[1_1|1]
1466→1467[0_1|1]
1467→1468[2_1|1]
1468→1469[1_1|1]
1469→1470[0_1|1]
1470→1471[2_1|1]
1471→1472[1_1|1]
1472→1473[0_1|1]
1473→1474[2_1|1]
1474→1475[1_1|1]
1475→1476[0_1|1]
1476→1477[2_1|1]
1477→1478[1_1|1]
1478→1479[0_1|1]
1479→1480[1_1|1]
1480→1481[1_1|1]
1481→1482[2_1|1]
1482→1407[1_1|1]
1482→1410[1_1|1]
1482→1419[1_1|1]
1482→1431[1_1|1]
1482→1446[1_1|1]
1482→1464[1_1|1]
1482→1485[1_1|1]
1482→1509[1_1|1]
1482→1536[1_1|1]
1482→1564[2_1|2]
1482→1573[2_1|2]
1482→1585[2_1|2]
1482→1600[2_1|2]
1482→1618[2_1|2]
1482→1639[2_1|2]
1482→1663[2_1|2]
1482→1690[2_1|2]
1483→1484[1_1|1]
1484→1485[0_1|1]
1485→1486[2_1|1]
1486→1487[1_1|1]
1487→1488[0_1|1]
1488→1489[2_1|1]
1489→1490[1_1|1]
1490→1491[0_1|1]
1491→1492[2_1|1]
1492→1493[1_1|1]
1493→1494[0_1|1]
1494→1495[2_1|1]
1495→1496[1_1|1]
1496→1497[0_1|1]
1497→1498[2_1|1]
1498→1499[1_1|1]
1499→1500[0_1|1]
1500→1501[2_1|1]
1501→1502[1_1|1]
1502→1503[0_1|1]
1503→1504[1_1|1]
1504→1505[1_1|1]
1505→1506[2_1|1]
1506→1407[1_1|1]
1506→1410[1_1|1]
1506→1419[1_1|1]
1506→1431[1_1|1]
1506→1446[1_1|1]
1506→1464[1_1|1]
1506→1485[1_1|1]
1506→1509[1_1|1]
1506→1536[1_1|1]
1506→1564[2_1|2]
1506→1573[2_1|2]
1506→1585[2_1|2]
1506→1600[2_1|2]
1506→1618[2_1|2]
1506→1639[2_1|2]
1506→1663[2_1|2]
1506→1690[2_1|2]
1507→1508[1_1|1]
1508→1509[0_1|1]
1509→1510[2_1|1]
1510→1511[1_1|1]
1511→1512[0_1|1]
1512→1513[2_1|1]
1513→1514[1_1|1]
1514→1515[0_1|1]
1515→1516[2_1|1]
1516→1517[1_1|1]
1517→1518[0_1|1]
1518→1519[2_1|1]
1519→1520[1_1|1]
1520→1521[0_1|1]
1521→1522[2_1|1]
1522→1523[1_1|1]
1523→1524[0_1|1]
1524→1525[2_1|1]
1525→1526[1_1|1]
1526→1527[0_1|1]
1527→1528[2_1|1]
1528→1529[1_1|1]
1529→1530[0_1|1]
1530→1531[1_1|1]
1531→1532[1_1|1]
1532→1533[2_1|1]
1533→1407[1_1|1]
1533→1410[1_1|1]
1533→1419[1_1|1]
1533→1431[1_1|1]
1533→1446[1_1|1]
1533→1464[1_1|1]
1533→1485[1_1|1]
1533→1509[1_1|1]
1533→1536[1_1|1]
1533→1564[2_1|2]
1533→1573[2_1|2]
1533→1585[2_1|2]
1533→1600[2_1|2]
1533→1618[2_1|2]
1533→1639[2_1|2]
1533→1663[2_1|2]
1533→1690[2_1|2]
1534→1535[1_1|1]
1535→1536[0_1|1]
1536→1537[2_1|1]
1537→1538[1_1|1]
1538→1539[0_1|1]
1539→1540[2_1|1]
1540→1541[1_1|1]
1541→1542[0_1|1]
1542→1543[2_1|1]
1543→1544[1_1|1]
1544→1545[0_1|1]
1545→1546[2_1|1]
1546→1547[1_1|1]
1547→1548[0_1|1]
1548→1549[2_1|1]
1549→1550[1_1|1]
1550→1551[0_1|1]
1551→1552[2_1|1]
1552→1553[1_1|1]
1553→1554[0_1|1]
1554→1555[2_1|1]
1555→1556[1_1|1]
1556→1557[0_1|1]
1557→1558[2_1|1]
1558→1559[1_1|1]
1559→1560[0_1|1]
1560→1561[1_1|1]
1561→1562[1_1|1]
1562→1563[2_1|1]
1563→1407[1_1|1]
1563→1410[1_1|1]
1563→1419[1_1|1]
1563→1431[1_1|1]
1563→1446[1_1|1]
1563→1464[1_1|1]
1563→1485[1_1|1]
1563→1509[1_1|1]
1563→1536[1_1|1]
1563→1564[2_1|2]
1563→1573[2_1|2]
1563→1585[2_1|2]
1563→1600[2_1|2]
1563→1618[2_1|2]
1563→1639[2_1|2]
1563→1663[2_1|2]
1563→1690[2_1|2]
1564→1565[1_1|2]
1565→1566[0_1|2]
1566→1567[2_1|2]
1567→1568[1_1|2]
1568→1569[0_1|2]
1569→1570[1_1|2]
1570→1571[1_1|2]
1571→1572[2_1|2]
1572→1413[1_1|2]
1572→1422[1_1|2]
1572→1434[1_1|2]
1572→1449[1_1|2]
1572→1467[1_1|2]
1572→1488[1_1|2]
1572→1512[1_1|2]
1572→1539[1_1|2]
1572→1720[2_1|2]
1572→1729[2_1|2]
1572→1741[2_1|2]
1572→1756[2_1|2]
1572→1774[2_1|2]
1572→1795[2_1|2]
1572→1819[2_1|2]
1572→1846[2_1|2]
1573→1574[1_1|2]
1574→1575[0_1|2]
1575→1576[2_1|2]
1576→1577[1_1|2]
1577→1578[0_1|2]
1578→1579[2_1|2]
1579→1580[1_1|2]
1580→1581[0_1|2]
1581→1582[1_1|2]
1582→1583[1_1|2]
1583→1584[2_1|2]
1584→1413[1_1|2]
1584→1422[1_1|2]
1584→1434[1_1|2]
1584→1449[1_1|2]
1584→1467[1_1|2]
1584→1488[1_1|2]
1584→1512[1_1|2]
1584→1539[1_1|2]
1584→1720[2_1|2]
1584→1729[2_1|2]
1584→1741[2_1|2]
1584→1756[2_1|2]
1584→1774[2_1|2]
1584→1795[2_1|2]
1584→1819[2_1|2]
1584→1846[2_1|2]
1585→1586[1_1|2]
1586→1587[0_1|2]
1587→1588[2_1|2]
1588→1589[1_1|2]
1589→1590[0_1|2]
1590→1591[2_1|2]
1591→1592[1_1|2]
1592→1593[0_1|2]
1593→1594[2_1|2]
1594→1595[1_1|2]
1595→1596[0_1|2]
1596→1597[1_1|2]
1597→1598[1_1|2]
1598→1599[2_1|2]
1599→1413[1_1|2]
1599→1422[1_1|2]
1599→1434[1_1|2]
1599→1449[1_1|2]
1599→1467[1_1|2]
1599→1488[1_1|2]
1599→1512[1_1|2]
1599→1539[1_1|2]
1599→1720[2_1|2]
1599→1729[2_1|2]
1599→1741[2_1|2]
1599→1756[2_1|2]
1599→1774[2_1|2]
1599→1795[2_1|2]
1599→1819[2_1|2]
1599→1846[2_1|2]
1600→1601[1_1|2]
1601→1602[0_1|2]
1602→1603[2_1|2]
1603→1604[1_1|2]
1604→1605[0_1|2]
1605→1606[2_1|2]
1606→1607[1_1|2]
1607→1608[0_1|2]
1608→1609[2_1|2]
1609→1610[1_1|2]
1610→1611[0_1|2]
1611→1612[2_1|2]
1612→1613[1_1|2]
1613→1614[0_1|2]
1614→1615[1_1|2]
1615→1616[1_1|2]
1616→1617[2_1|2]
1617→1413[1_1|2]
1617→1422[1_1|2]
1617→1434[1_1|2]
1617→1449[1_1|2]
1617→1467[1_1|2]
1617→1488[1_1|2]
1617→1512[1_1|2]
1617→1539[1_1|2]
1617→1720[2_1|2]
1617→1729[2_1|2]
1617→1741[2_1|2]
1617→1756[2_1|2]
1617→1774[2_1|2]
1617→1795[2_1|2]
1617→1819[2_1|2]
1617→1846[2_1|2]
1618→1619[1_1|2]
1619→1620[0_1|2]
1620→1621[2_1|2]
1621→1622[1_1|2]
1622→1623[0_1|2]
1623→1624[2_1|2]
1624→1625[1_1|2]
1625→1626[0_1|2]
1626→1627[2_1|2]
1627→1628[1_1|2]
1628→1629[0_1|2]
1629→1630[2_1|2]
1630→1631[1_1|2]
1631→1632[0_1|2]
1632→1633[2_1|2]
1633→1634[1_1|2]
1634→1635[0_1|2]
1635→1636[1_1|2]
1636→1637[1_1|2]
1637→1638[2_1|2]
1638→1413[1_1|2]
1638→1422[1_1|2]
1638→1434[1_1|2]
1638→1449[1_1|2]
1638→1467[1_1|2]
1638→1488[1_1|2]
1638→1512[1_1|2]
1638→1539[1_1|2]
1638→1720[2_1|2]
1638→1729[2_1|2]
1638→1741[2_1|2]
1638→1756[2_1|2]
1638→1774[2_1|2]
1638→1795[2_1|2]
1638→1819[2_1|2]
1638→1846[2_1|2]
1639→1640[1_1|2]
1640→1641[0_1|2]
1641→1642[2_1|2]
1642→1643[1_1|2]
1643→1644[0_1|2]
1644→1645[2_1|2]
1645→1646[1_1|2]
1646→1647[0_1|2]
1647→1648[2_1|2]
1648→1649[1_1|2]
1649→1650[0_1|2]
1650→1651[2_1|2]
1651→1652[1_1|2]
1652→1653[0_1|2]
1653→1654[2_1|2]
1654→1655[1_1|2]
1655→1656[0_1|2]
1656→1657[2_1|2]
1657→1658[1_1|2]
1658→1659[0_1|2]
1659→1660[1_1|2]
1660→1661[1_1|2]
1661→1662[2_1|2]
1662→1413[1_1|2]
1662→1422[1_1|2]
1662→1434[1_1|2]
1662→1449[1_1|2]
1662→1467[1_1|2]
1662→1488[1_1|2]
1662→1512[1_1|2]
1662→1539[1_1|2]
1662→1720[2_1|2]
1662→1729[2_1|2]
1662→1741[2_1|2]
1662→1756[2_1|2]
1662→1774[2_1|2]
1662→1795[2_1|2]
1662→1819[2_1|2]
1662→1846[2_1|2]
1663→1664[1_1|2]
1664→1665[0_1|2]
1665→1666[2_1|2]
1666→1667[1_1|2]
1667→1668[0_1|2]
1668→1669[2_1|2]
1669→1670[1_1|2]
1670→1671[0_1|2]
1671→1672[2_1|2]
1672→1673[1_1|2]
1673→1674[0_1|2]
1674→1675[2_1|2]
1675→1676[1_1|2]
1676→1677[0_1|2]
1677→1678[2_1|2]
1678→1679[1_1|2]
1679→1680[0_1|2]
1680→1681[2_1|2]
1681→1682[1_1|2]
1682→1683[0_1|2]
1683→1684[2_1|2]
1684→1685[1_1|2]
1685→1686[0_1|2]
1686→1687[1_1|2]
1687→1688[1_1|2]
1688→1689[2_1|2]
1689→1413[1_1|2]
1689→1422[1_1|2]
1689→1434[1_1|2]
1689→1449[1_1|2]
1689→1467[1_1|2]
1689→1488[1_1|2]
1689→1512[1_1|2]
1689→1539[1_1|2]
1689→1720[2_1|2]
1689→1729[2_1|2]
1689→1741[2_1|2]
1689→1756[2_1|2]
1689→1774[2_1|2]
1689→1795[2_1|2]
1689→1819[2_1|2]
1689→1846[2_1|2]
1690→1691[1_1|2]
1691→1692[0_1|2]
1692→1693[2_1|2]
1693→1694[1_1|2]
1694→1695[0_1|2]
1695→1696[2_1|2]
1696→1697[1_1|2]
1697→1698[0_1|2]
1698→1699[2_1|2]
1699→1700[1_1|2]
1700→1701[0_1|2]
1701→1702[2_1|2]
1702→1703[1_1|2]
1703→1704[0_1|2]
1704→1705[2_1|2]
1705→1706[1_1|2]
1706→1707[0_1|2]
1707→1708[2_1|2]
1708→1709[1_1|2]
1709→1710[0_1|2]
1710→1711[2_1|2]
1711→1712[1_1|2]
1712→1713[0_1|2]
1713→1714[2_1|2]
1714→1715[1_1|2]
1715→1716[0_1|2]
1716→1717[1_1|2]
1717→1718[1_1|2]
1718→1719[2_1|2]
1719→1413[1_1|2]
1719→1422[1_1|2]
1719→1434[1_1|2]
1719→1449[1_1|2]
1719→1467[1_1|2]
1719→1488[1_1|2]
1719→1512[1_1|2]
1719→1539[1_1|2]
1719→1720[2_1|2]
1719→1729[2_1|2]
1719→1741[2_1|2]
1719→1756[2_1|2]
1719→1774[2_1|2]
1719→1795[2_1|2]
1719→1819[2_1|2]
1719→1846[2_1|2]
1720→1721[1_1|2]
1721→1722[0_1|2]
1722→1723[2_1|2]
1723→1724[1_1|2]
1724→1725[0_1|2]
1725→1726[1_1|2]
1726→1727[1_1|2]
1727→1728[2_1|2]
1728→1425[1_1|2]
1728→1437[1_1|2]
1728→1452[1_1|2]
1728→1470[1_1|2]
1728→1491[1_1|2]
1728→1515[1_1|2]
1728→1542[1_1|2]
1728→1876[2_1|2]
1728→1885[2_1|2]
1728→1897[2_1|2]
1728→1912[2_1|2]
1728→1930[2_1|2]
1728→1951[2_1|2]
1728→1975[2_1|2]
1728→2002[2_1|2]
1729→1730[1_1|2]
1730→1731[0_1|2]
1731→1732[2_1|2]
1732→1733[1_1|2]
1733→1734[0_1|2]
1734→1735[2_1|2]
1735→1736[1_1|2]
1736→1737[0_1|2]
1737→1738[1_1|2]
1738→1739[1_1|2]
1739→1740[2_1|2]
1740→1425[1_1|2]
1740→1437[1_1|2]
1740→1452[1_1|2]
1740→1470[1_1|2]
1740→1491[1_1|2]
1740→1515[1_1|2]
1740→1542[1_1|2]
1740→1876[2_1|2]
1740→1885[2_1|2]
1740→1897[2_1|2]
1740→1912[2_1|2]
1740→1930[2_1|2]
1740→1951[2_1|2]
1740→1975[2_1|2]
1740→2002[2_1|2]
1741→1742[1_1|2]
1742→1743[0_1|2]
1743→1744[2_1|2]
1744→1745[1_1|2]
1745→1746[0_1|2]
1746→1747[2_1|2]
1747→1748[1_1|2]
1748→1749[0_1|2]
1749→1750[2_1|2]
1750→1751[1_1|2]
1751→1752[0_1|2]
1752→1753[1_1|2]
1753→1754[1_1|2]
1754→1755[2_1|2]
1755→1425[1_1|2]
1755→1437[1_1|2]
1755→1452[1_1|2]
1755→1470[1_1|2]
1755→1491[1_1|2]
1755→1515[1_1|2]
1755→1542[1_1|2]
1755→1876[2_1|2]
1755→1885[2_1|2]
1755→1897[2_1|2]
1755→1912[2_1|2]
1755→1930[2_1|2]
1755→1951[2_1|2]
1755→1975[2_1|2]
1755→2002[2_1|2]
1756→1757[1_1|2]
1757→1758[0_1|2]
1758→1759[2_1|2]
1759→1760[1_1|2]
1760→1761[0_1|2]
1761→1762[2_1|2]
1762→1763[1_1|2]
1763→1764[0_1|2]
1764→1765[2_1|2]
1765→1766[1_1|2]
1766→1767[0_1|2]
1767→1768[2_1|2]
1768→1769[1_1|2]
1769→1770[0_1|2]
1770→1771[1_1|2]
1771→1772[1_1|2]
1772→1773[2_1|2]
1773→1425[1_1|2]
1773→1437[1_1|2]
1773→1452[1_1|2]
1773→1470[1_1|2]
1773→1491[1_1|2]
1773→1515[1_1|2]
1773→1542[1_1|2]
1773→1876[2_1|2]
1773→1885[2_1|2]
1773→1897[2_1|2]
1773→1912[2_1|2]
1773→1930[2_1|2]
1773→1951[2_1|2]
1773→1975[2_1|2]
1773→2002[2_1|2]
1774→1775[1_1|2]
1775→1776[0_1|2]
1776→1777[2_1|2]
1777→1778[1_1|2]
1778→1779[0_1|2]
1779→1780[2_1|2]
1780→1781[1_1|2]
1781→1782[0_1|2]
1782→1783[2_1|2]
1783→1784[1_1|2]
1784→1785[0_1|2]
1785→1786[2_1|2]
1786→1787[1_1|2]
1787→1788[0_1|2]
1788→1789[2_1|2]
1789→1790[1_1|2]
1790→1791[0_1|2]
1791→1792[1_1|2]
1792→1793[1_1|2]
1793→1794[2_1|2]
1794→1425[1_1|2]
1794→1437[1_1|2]
1794→1452[1_1|2]
1794→1470[1_1|2]
1794→1491[1_1|2]
1794→1515[1_1|2]
1794→1542[1_1|2]
1794→1876[2_1|2]
1794→1885[2_1|2]
1794→1897[2_1|2]
1794→1912[2_1|2]
1794→1930[2_1|2]
1794→1951[2_1|2]
1794→1975[2_1|2]
1794→2002[2_1|2]
1795→1796[1_1|2]
1796→1797[0_1|2]
1797→1798[2_1|2]
1798→1799[1_1|2]
1799→1800[0_1|2]
1800→1801[2_1|2]
1801→1802[1_1|2]
1802→1803[0_1|2]
1803→1804[2_1|2]
1804→1805[1_1|2]
1805→1806[0_1|2]
1806→1807[2_1|2]
1807→1808[1_1|2]
1808→1809[0_1|2]
1809→1810[2_1|2]
1810→1811[1_1|2]
1811→1812[0_1|2]
1812→1813[2_1|2]
1813→1814[1_1|2]
1814→1815[0_1|2]
1815→1816[1_1|2]
1816→1817[1_1|2]
1817→1818[2_1|2]
1818→1425[1_1|2]
1818→1437[1_1|2]
1818→1452[1_1|2]
1818→1470[1_1|2]
1818→1491[1_1|2]
1818→1515[1_1|2]
1818→1542[1_1|2]
1818→1876[2_1|2]
1818→1885[2_1|2]
1818→1897[2_1|2]
1818→1912[2_1|2]
1818→1930[2_1|2]
1818→1951[2_1|2]
1818→1975[2_1|2]
1818→2002[2_1|2]
1819→1820[1_1|2]
1820→1821[0_1|2]
1821→1822[2_1|2]
1822→1823[1_1|2]
1823→1824[0_1|2]
1824→1825[2_1|2]
1825→1826[1_1|2]
1826→1827[0_1|2]
1827→1828[2_1|2]
1828→1829[1_1|2]
1829→1830[0_1|2]
1830→1831[2_1|2]
1831→1832[1_1|2]
1832→1833[0_1|2]
1833→1834[2_1|2]
1834→1835[1_1|2]
1835→1836[0_1|2]
1836→1837[2_1|2]
1837→1838[1_1|2]
1838→1839[0_1|2]
1839→1840[2_1|2]
1840→1841[1_1|2]
1841→1842[0_1|2]
1842→1843[1_1|2]
1843→1844[1_1|2]
1844→1845[2_1|2]
1845→1425[1_1|2]
1845→1437[1_1|2]
1845→1452[1_1|2]
1845→1470[1_1|2]
1845→1491[1_1|2]
1845→1515[1_1|2]
1845→1542[1_1|2]
1845→1876[2_1|2]
1845→1885[2_1|2]
1845→1897[2_1|2]
1845→1912[2_1|2]
1845→1930[2_1|2]
1845→1951[2_1|2]
1845→1975[2_1|2]
1845→2002[2_1|2]
1846→1847[1_1|2]
1847→1848[0_1|2]
1848→1849[2_1|2]
1849→1850[1_1|2]
1850→1851[0_1|2]
1851→1852[2_1|2]
1852→1853[1_1|2]
1853→1854[0_1|2]
1854→1855[2_1|2]
1855→1856[1_1|2]
1856→1857[0_1|2]
1857→1858[2_1|2]
1858→1859[1_1|2]
1859→1860[0_1|2]
1860→1861[2_1|2]
1861→1862[1_1|2]
1862→1863[0_1|2]
1863→1864[2_1|2]
1864→1865[1_1|2]
1865→1866[0_1|2]
1866→1867[2_1|2]
1867→1868[1_1|2]
1868→1869[0_1|2]
1869→1870[2_1|2]
1870→1871[1_1|2]
1871→1872[0_1|2]
1872→1873[1_1|2]
1873→1874[1_1|2]
1874→1875[2_1|2]
1875→1425[1_1|2]
1875→1437[1_1|2]
1875→1452[1_1|2]
1875→1470[1_1|2]
1875→1491[1_1|2]
1875→1515[1_1|2]
1875→1542[1_1|2]
1875→1876[2_1|2]
1875→1885[2_1|2]
1875→1897[2_1|2]
1875→1912[2_1|2]
1875→1930[2_1|2]
1875→1951[2_1|2]
1875→1975[2_1|2]
1875→2002[2_1|2]
1876→1877[1_1|2]
1877→1878[0_1|2]
1878→1879[2_1|2]
1879→1880[1_1|2]
1880→1881[0_1|2]
1881→1882[1_1|2]
1882→1883[1_1|2]
1883→1884[2_1|2]
1884→1440[1_1|2]
1884→1455[1_1|2]
1884→1473[1_1|2]
1884→1494[1_1|2]
1884→1518[1_1|2]
1884→1545[1_1|2]
1884→2032[2_1|2]
1884→2041[2_1|2]
1884→2053[2_1|2]
1884→2068[2_1|2]
1884→2086[2_1|2]
1884→2107[2_1|2]
1884→2131[2_1|2]
1884→2158[2_1|2]
1885→1886[1_1|2]
1886→1887[0_1|2]
1887→1888[2_1|2]
1888→1889[1_1|2]
1889→1890[0_1|2]
1890→1891[2_1|2]
1891→1892[1_1|2]
1892→1893[0_1|2]
1893→1894[1_1|2]
1894→1895[1_1|2]
1895→1896[2_1|2]
1896→1440[1_1|2]
1896→1455[1_1|2]
1896→1473[1_1|2]
1896→1494[1_1|2]
1896→1518[1_1|2]
1896→1545[1_1|2]
1896→2032[2_1|2]
1896→2041[2_1|2]
1896→2053[2_1|2]
1896→2068[2_1|2]
1896→2086[2_1|2]
1896→2107[2_1|2]
1896→2131[2_1|2]
1896→2158[2_1|2]
1897→1898[1_1|2]
1898→1899[0_1|2]
1899→1900[2_1|2]
1900→1901[1_1|2]
1901→1902[0_1|2]
1902→1903[2_1|2]
1903→1904[1_1|2]
1904→1905[0_1|2]
1905→1906[2_1|2]
1906→1907[1_1|2]
1907→1908[0_1|2]
1908→1909[1_1|2]
1909→1910[1_1|2]
1910→1911[2_1|2]
1911→1440[1_1|2]
1911→1455[1_1|2]
1911→1473[1_1|2]
1911→1494[1_1|2]
1911→1518[1_1|2]
1911→1545[1_1|2]
1911→2032[2_1|2]
1911→2041[2_1|2]
1911→2053[2_1|2]
1911→2068[2_1|2]
1911→2086[2_1|2]
1911→2107[2_1|2]
1911→2131[2_1|2]
1911→2158[2_1|2]
1912→1913[1_1|2]
1913→1914[0_1|2]
1914→1915[2_1|2]
1915→1916[1_1|2]
1916→1917[0_1|2]
1917→1918[2_1|2]
1918→1919[1_1|2]
1919→1920[0_1|2]
1920→1921[2_1|2]
1921→1922[1_1|2]
1922→1923[0_1|2]
1923→1924[2_1|2]
1924→1925[1_1|2]
1925→1926[0_1|2]
1926→1927[1_1|2]
1927→1928[1_1|2]
1928→1929[2_1|2]
1929→1440[1_1|2]
1929→1455[1_1|2]
1929→1473[1_1|2]
1929→1494[1_1|2]
1929→1518[1_1|2]
1929→1545[1_1|2]
1929→2032[2_1|2]
1929→2041[2_1|2]
1929→2053[2_1|2]
1929→2068[2_1|2]
1929→2086[2_1|2]
1929→2107[2_1|2]
1929→2131[2_1|2]
1929→2158[2_1|2]
1930→1931[1_1|2]
1931→1932[0_1|2]
1932→1933[2_1|2]
1933→1934[1_1|2]
1934→1935[0_1|2]
1935→1936[2_1|2]
1936→1937[1_1|2]
1937→1938[0_1|2]
1938→1939[2_1|2]
1939→1940[1_1|2]
1940→1941[0_1|2]
1941→1942[2_1|2]
1942→1943[1_1|2]
1943→1944[0_1|2]
1944→1945[2_1|2]
1945→1946[1_1|2]
1946→1947[0_1|2]
1947→1948[1_1|2]
1948→1949[1_1|2]
1949→1950[2_1|2]
1950→1440[1_1|2]
1950→1455[1_1|2]
1950→1473[1_1|2]
1950→1494[1_1|2]
1950→1518[1_1|2]
1950→1545[1_1|2]
1950→2032[2_1|2]
1950→2041[2_1|2]
1950→2053[2_1|2]
1950→2068[2_1|2]
1950→2086[2_1|2]
1950→2107[2_1|2]
1950→2131[2_1|2]
1950→2158[2_1|2]
1951→1952[1_1|2]
1952→1953[0_1|2]
1953→1954[2_1|2]
1954→1955[1_1|2]
1955→1956[0_1|2]
1956→1957[2_1|2]
1957→1958[1_1|2]
1958→1959[0_1|2]
1959→1960[2_1|2]
1960→1961[1_1|2]
1961→1962[0_1|2]
1962→1963[2_1|2]
1963→1964[1_1|2]
1964→1965[0_1|2]
1965→1966[2_1|2]
1966→1967[1_1|2]
1967→1968[0_1|2]
1968→1969[2_1|2]
1969→1970[1_1|2]
1970→1971[0_1|2]
1971→1972[1_1|2]
1972→1973[1_1|2]
1973→1974[2_1|2]
1974→1440[1_1|2]
1974→1455[1_1|2]
1974→1473[1_1|2]
1974→1494[1_1|2]
1974→1518[1_1|2]
1974→1545[1_1|2]
1974→2032[2_1|2]
1974→2041[2_1|2]
1974→2053[2_1|2]
1974→2068[2_1|2]
1974→2086[2_1|2]
1974→2107[2_1|2]
1974→2131[2_1|2]
1974→2158[2_1|2]
1975→1976[1_1|2]
1976→1977[0_1|2]
1977→1978[2_1|2]
1978→1979[1_1|2]
1979→1980[0_1|2]
1980→1981[2_1|2]
1981→1982[1_1|2]
1982→1983[0_1|2]
1983→1984[2_1|2]
1984→1985[1_1|2]
1985→1986[0_1|2]
1986→1987[2_1|2]
1987→1988[1_1|2]
1988→1989[0_1|2]
1989→1990[2_1|2]
1990→1991[1_1|2]
1991→1992[0_1|2]
1992→1993[2_1|2]
1993→1994[1_1|2]
1994→1995[0_1|2]
1995→1996[2_1|2]
1996→1997[1_1|2]
1997→1998[0_1|2]
1998→1999[1_1|2]
1999→2000[1_1|2]
2000→2001[2_1|2]
2001→1440[1_1|2]
2001→1455[1_1|2]
2001→1473[1_1|2]
2001→1494[1_1|2]
2001→1518[1_1|2]
2001→1545[1_1|2]
2001→2032[2_1|2]
2001→2041[2_1|2]
2001→2053[2_1|2]
2001→2068[2_1|2]
2001→2086[2_1|2]
2001→2107[2_1|2]
2001→2131[2_1|2]
2001→2158[2_1|2]
2002→2003[1_1|2]
2003→2004[0_1|2]
2004→2005[2_1|2]
2005→2006[1_1|2]
2006→2007[0_1|2]
2007→2008[2_1|2]
2008→2009[1_1|2]
2009→2010[0_1|2]
2010→2011[2_1|2]
2011→2012[1_1|2]
2012→2013[0_1|2]
2013→2014[2_1|2]
2014→2015[1_1|2]
2015→2016[0_1|2]
2016→2017[2_1|2]
2017→2018[1_1|2]
2018→2019[0_1|2]
2019→2020[2_1|2]
2020→2021[1_1|2]
2021→2022[0_1|2]
2022→2023[2_1|2]
2023→2024[1_1|2]
2024→2025[0_1|2]
2025→2026[2_1|2]
2026→2027[1_1|2]
2027→2028[0_1|2]
2028→2029[1_1|2]
2029→2030[1_1|2]
2030→2031[2_1|2]
2031→1440[1_1|2]
2031→1455[1_1|2]
2031→1473[1_1|2]
2031→1494[1_1|2]
2031→1518[1_1|2]
2031→1545[1_1|2]
2031→2032[2_1|2]
2031→2041[2_1|2]
2031→2053[2_1|2]
2031→2068[2_1|2]
2031→2086[2_1|2]
2031→2107[2_1|2]
2031→2131[2_1|2]
2031→2158[2_1|2]
2032→2033[1_1|2]
2033→2034[0_1|2]
2034→2035[2_1|2]
2035→2036[1_1|2]
2036→2037[0_1|2]
2037→2038[1_1|2]
2038→2039[1_1|2]
2039→2040[2_1|2]
2040→1458[1_1|2]
2040→1476[1_1|2]
2040→1497[1_1|2]
2040→1521[1_1|2]
2040→1548[1_1|2]
2040→2188[2_1|2]
2040→2197[2_1|2]
2040→2209[2_1|2]
2040→2224[2_1|2]
2040→2242[2_1|2]
2040→2263[2_1|2]
2040→2287[2_1|2]
2040→2314[2_1|2]
2041→2042[1_1|2]
2042→2043[0_1|2]
2043→2044[2_1|2]
2044→2045[1_1|2]
2045→2046[0_1|2]
2046→2047[2_1|2]
2047→2048[1_1|2]
2048→2049[0_1|2]
2049→2050[1_1|2]
2050→2051[1_1|2]
2051→2052[2_1|2]
2052→1458[1_1|2]
2052→1476[1_1|2]
2052→1497[1_1|2]
2052→1521[1_1|2]
2052→1548[1_1|2]
2052→2188[2_1|2]
2052→2197[2_1|2]
2052→2209[2_1|2]
2052→2224[2_1|2]
2052→2242[2_1|2]
2052→2263[2_1|2]
2052→2287[2_1|2]
2052→2314[2_1|2]
2053→2054[1_1|2]
2054→2055[0_1|2]
2055→2056[2_1|2]
2056→2057[1_1|2]
2057→2058[0_1|2]
2058→2059[2_1|2]
2059→2060[1_1|2]
2060→2061[0_1|2]
2061→2062[2_1|2]
2062→2063[1_1|2]
2063→2064[0_1|2]
2064→2065[1_1|2]
2065→2066[1_1|2]
2066→2067[2_1|2]
2067→1458[1_1|2]
2067→1476[1_1|2]
2067→1497[1_1|2]
2067→1521[1_1|2]
2067→1548[1_1|2]
2067→2188[2_1|2]
2067→2197[2_1|2]
2067→2209[2_1|2]
2067→2224[2_1|2]
2067→2242[2_1|2]
2067→2263[2_1|2]
2067→2287[2_1|2]
2067→2314[2_1|2]
2068→2069[1_1|2]
2069→2070[0_1|2]
2070→2071[2_1|2]
2071→2072[1_1|2]
2072→2073[0_1|2]
2073→2074[2_1|2]
2074→2075[1_1|2]
2075→2076[0_1|2]
2076→2077[2_1|2]
2077→2078[1_1|2]
2078→2079[0_1|2]
2079→2080[2_1|2]
2080→2081[1_1|2]
2081→2082[0_1|2]
2082→2083[1_1|2]
2083→2084[1_1|2]
2084→2085[2_1|2]
2085→1458[1_1|2]
2085→1476[1_1|2]
2085→1497[1_1|2]
2085→1521[1_1|2]
2085→1548[1_1|2]
2085→2188[2_1|2]
2085→2197[2_1|2]
2085→2209[2_1|2]
2085→2224[2_1|2]
2085→2242[2_1|2]
2085→2263[2_1|2]
2085→2287[2_1|2]
2085→2314[2_1|2]
2086→2087[1_1|2]
2087→2088[0_1|2]
2088→2089[2_1|2]
2089→2090[1_1|2]
2090→2091[0_1|2]
2091→2092[2_1|2]
2092→2093[1_1|2]
2093→2094[0_1|2]
2094→2095[2_1|2]
2095→2096[1_1|2]
2096→2097[0_1|2]
2097→2098[2_1|2]
2098→2099[1_1|2]
2099→2100[0_1|2]
2100→2101[2_1|2]
2101→2102[1_1|2]
2102→2103[0_1|2]
2103→2104[1_1|2]
2104→2105[1_1|2]
2105→2106[2_1|2]
2106→1458[1_1|2]
2106→1476[1_1|2]
2106→1497[1_1|2]
2106→1521[1_1|2]
2106→1548[1_1|2]
2106→2188[2_1|2]
2106→2197[2_1|2]
2106→2209[2_1|2]
2106→2224[2_1|2]
2106→2242[2_1|2]
2106→2263[2_1|2]
2106→2287[2_1|2]
2106→2314[2_1|2]
2107→2108[1_1|2]
2108→2109[0_1|2]
2109→2110[2_1|2]
2110→2111[1_1|2]
2111→2112[0_1|2]
2112→2113[2_1|2]
2113→2114[1_1|2]
2114→2115[0_1|2]
2115→2116[2_1|2]
2116→2117[1_1|2]
2117→2118[0_1|2]
2118→2119[2_1|2]
2119→2120[1_1|2]
2120→2121[0_1|2]
2121→2122[2_1|2]
2122→2123[1_1|2]
2123→2124[0_1|2]
2124→2125[2_1|2]
2125→2126[1_1|2]
2126→2127[0_1|2]
2127→2128[1_1|2]
2128→2129[1_1|2]
2129→2130[2_1|2]
2130→1458[1_1|2]
2130→1476[1_1|2]
2130→1497[1_1|2]
2130→1521[1_1|2]
2130→1548[1_1|2]
2130→2188[2_1|2]
2130→2197[2_1|2]
2130→2209[2_1|2]
2130→2224[2_1|2]
2130→2242[2_1|2]
2130→2263[2_1|2]
2130→2287[2_1|2]
2130→2314[2_1|2]
2131→2132[1_1|2]
2132→2133[0_1|2]
2133→2134[2_1|2]
2134→2135[1_1|2]
2135→2136[0_1|2]
2136→2137[2_1|2]
2137→2138[1_1|2]
2138→2139[0_1|2]
2139→2140[2_1|2]
2140→2141[1_1|2]
2141→2142[0_1|2]
2142→2143[2_1|2]
2143→2144[1_1|2]
2144→2145[0_1|2]
2145→2146[2_1|2]
2146→2147[1_1|2]
2147→2148[0_1|2]
2148→2149[2_1|2]
2149→2150[1_1|2]
2150→2151[0_1|2]
2151→2152[2_1|2]
2152→2153[1_1|2]
2153→2154[0_1|2]
2154→2155[1_1|2]
2155→2156[1_1|2]
2156→2157[2_1|2]
2157→1458[1_1|2]
2157→1476[1_1|2]
2157→1497[1_1|2]
2157→1521[1_1|2]
2157→1548[1_1|2]
2157→2188[2_1|2]
2157→2197[2_1|2]
2157→2209[2_1|2]
2157→2224[2_1|2]
2157→2242[2_1|2]
2157→2263[2_1|2]
2157→2287[2_1|2]
2157→2314[2_1|2]
2158→2159[1_1|2]
2159→2160[0_1|2]
2160→2161[2_1|2]
2161→2162[1_1|2]
2162→2163[0_1|2]
2163→2164[2_1|2]
2164→2165[1_1|2]
2165→2166[0_1|2]
2166→2167[2_1|2]
2167→2168[1_1|2]
2168→2169[0_1|2]
2169→2170[2_1|2]
2170→2171[1_1|2]
2171→2172[0_1|2]
2172→2173[2_1|2]
2173→2174[1_1|2]
2174→2175[0_1|2]
2175→2176[2_1|2]
2176→2177[1_1|2]
2177→2178[0_1|2]
2178→2179[2_1|2]
2179→2180[1_1|2]
2180→2181[0_1|2]
2181→2182[2_1|2]
2182→2183[1_1|2]
2183→2184[0_1|2]
2184→2185[1_1|2]
2185→2186[1_1|2]
2186→2187[2_1|2]
2187→1458[1_1|2]
2187→1476[1_1|2]
2187→1497[1_1|2]
2187→1521[1_1|2]
2187→1548[1_1|2]
2187→2188[2_1|2]
2187→2197[2_1|2]
2187→2209[2_1|2]
2187→2224[2_1|2]
2187→2242[2_1|2]
2187→2263[2_1|2]
2187→2287[2_1|2]
2187→2314[2_1|2]
2188→2189[1_1|2]
2189→2190[0_1|2]
2190→2191[2_1|2]
2191→2192[1_1|2]
2192→2193[0_1|2]
2193→2194[1_1|2]
2194→2195[1_1|2]
2195→2196[2_1|2]
2196→1479[1_1|2]
2196→1500[1_1|2]
2196→1524[1_1|2]
2196→1551[1_1|2]
2196→2344[2_1|2]
2196→2353[2_1|2]
2196→2365[2_1|2]
2196→2380[2_1|2]
2196→2398[2_1|2]
2196→2419[2_1|2]
2196→2443[2_1|2]
2196→2470[2_1|2]
2197→2198[1_1|2]
2198→2199[0_1|2]
2199→2200[2_1|2]
2200→2201[1_1|2]
2201→2202[0_1|2]
2202→2203[2_1|2]
2203→2204[1_1|2]
2204→2205[0_1|2]
2205→2206[1_1|2]
2206→2207[1_1|2]
2207→2208[2_1|2]
2208→1479[1_1|2]
2208→1500[1_1|2]
2208→1524[1_1|2]
2208→1551[1_1|2]
2208→2344[2_1|2]
2208→2353[2_1|2]
2208→2365[2_1|2]
2208→2380[2_1|2]
2208→2398[2_1|2]
2208→2419[2_1|2]
2208→2443[2_1|2]
2208→2470[2_1|2]
2209→2210[1_1|2]
2210→2211[0_1|2]
2211→2212[2_1|2]
2212→2213[1_1|2]
2213→2214[0_1|2]
2214→2215[2_1|2]
2215→2216[1_1|2]
2216→2217[0_1|2]
2217→2218[2_1|2]
2218→2219[1_1|2]
2219→2220[0_1|2]
2220→2221[1_1|2]
2221→2222[1_1|2]
2222→2223[2_1|2]
2223→1479[1_1|2]
2223→1500[1_1|2]
2223→1524[1_1|2]
2223→1551[1_1|2]
2223→2344[2_1|2]
2223→2353[2_1|2]
2223→2365[2_1|2]
2223→2380[2_1|2]
2223→2398[2_1|2]
2223→2419[2_1|2]
2223→2443[2_1|2]
2223→2470[2_1|2]
2224→2225[1_1|2]
2225→2226[0_1|2]
2226→2227[2_1|2]
2227→2228[1_1|2]
2228→2229[0_1|2]
2229→2230[2_1|2]
2230→2231[1_1|2]
2231→2232[0_1|2]
2232→2233[2_1|2]
2233→2234[1_1|2]
2234→2235[0_1|2]
2235→2236[2_1|2]
2236→2237[1_1|2]
2237→2238[0_1|2]
2238→2239[1_1|2]
2239→2240[1_1|2]
2240→2241[2_1|2]
2241→1479[1_1|2]
2241→1500[1_1|2]
2241→1524[1_1|2]
2241→1551[1_1|2]
2241→2344[2_1|2]
2241→2353[2_1|2]
2241→2365[2_1|2]
2241→2380[2_1|2]
2241→2398[2_1|2]
2241→2419[2_1|2]
2241→2443[2_1|2]
2241→2470[2_1|2]
2242→2243[1_1|2]
2243→2244[0_1|2]
2244→2245[2_1|2]
2245→2246[1_1|2]
2246→2247[0_1|2]
2247→2248[2_1|2]
2248→2249[1_1|2]
2249→2250[0_1|2]
2250→2251[2_1|2]
2251→2252[1_1|2]
2252→2253[0_1|2]
2253→2254[2_1|2]
2254→2255[1_1|2]
2255→2256[0_1|2]
2256→2257[2_1|2]
2257→2258[1_1|2]
2258→2259[0_1|2]
2259→2260[1_1|2]
2260→2261[1_1|2]
2261→2262[2_1|2]
2262→1479[1_1|2]
2262→1500[1_1|2]
2262→1524[1_1|2]
2262→1551[1_1|2]
2262→2344[2_1|2]
2262→2353[2_1|2]
2262→2365[2_1|2]
2262→2380[2_1|2]
2262→2398[2_1|2]
2262→2419[2_1|2]
2262→2443[2_1|2]
2262→2470[2_1|2]
2263→2264[1_1|2]
2264→2265[0_1|2]
2265→2266[2_1|2]
2266→2267[1_1|2]
2267→2268[0_1|2]
2268→2269[2_1|2]
2269→2270[1_1|2]
2270→2271[0_1|2]
2271→2272[2_1|2]
2272→2273[1_1|2]
2273→2274[0_1|2]
2274→2275[2_1|2]
2275→2276[1_1|2]
2276→2277[0_1|2]
2277→2278[2_1|2]
2278→2279[1_1|2]
2279→2280[0_1|2]
2280→2281[2_1|2]
2281→2282[1_1|2]
2282→2283[0_1|2]
2283→2284[1_1|2]
2284→2285[1_1|2]
2285→2286[2_1|2]
2286→1479[1_1|2]
2286→1500[1_1|2]
2286→1524[1_1|2]
2286→1551[1_1|2]
2286→2344[2_1|2]
2286→2353[2_1|2]
2286→2365[2_1|2]
2286→2380[2_1|2]
2286→2398[2_1|2]
2286→2419[2_1|2]
2286→2443[2_1|2]
2286→2470[2_1|2]
2287→2288[1_1|2]
2288→2289[0_1|2]
2289→2290[2_1|2]
2290→2291[1_1|2]
2291→2292[0_1|2]
2292→2293[2_1|2]
2293→2294[1_1|2]
2294→2295[0_1|2]
2295→2296[2_1|2]
2296→2297[1_1|2]
2297→2298[0_1|2]
2298→2299[2_1|2]
2299→2300[1_1|2]
2300→2301[0_1|2]
2301→2302[2_1|2]
2302→2303[1_1|2]
2303→2304[0_1|2]
2304→2305[2_1|2]
2305→2306[1_1|2]
2306→2307[0_1|2]
2307→2308[2_1|2]
2308→2309[1_1|2]
2309→2310[0_1|2]
2310→2311[1_1|2]
2311→2312[1_1|2]
2312→2313[2_1|2]
2313→1479[1_1|2]
2313→1500[1_1|2]
2313→1524[1_1|2]
2313→1551[1_1|2]
2313→2344[2_1|2]
2313→2353[2_1|2]
2313→2365[2_1|2]
2313→2380[2_1|2]
2313→2398[2_1|2]
2313→2419[2_1|2]
2313→2443[2_1|2]
2313→2470[2_1|2]
2314→2315[1_1|2]
2315→2316[0_1|2]
2316→2317[2_1|2]
2317→2318[1_1|2]
2318→2319[0_1|2]
2319→2320[2_1|2]
2320→2321[1_1|2]
2321→2322[0_1|2]
2322→2323[2_1|2]
2323→2324[1_1|2]
2324→2325[0_1|2]
2325→2326[2_1|2]
2326→2327[1_1|2]
2327→2328[0_1|2]
2328→2329[2_1|2]
2329→2330[1_1|2]
2330→2331[0_1|2]
2331→2332[2_1|2]
2332→2333[1_1|2]
2333→2334[0_1|2]
2334→2335[2_1|2]
2335→2336[1_1|2]
2336→2337[0_1|2]
2337→2338[2_1|2]
2338→2339[1_1|2]
2339→2340[0_1|2]
2340→2341[1_1|2]
2341→2342[1_1|2]
2342→2343[2_1|2]
2343→1479[1_1|2]
2343→1500[1_1|2]
2343→1524[1_1|2]
2343→1551[1_1|2]
2343→2344[2_1|2]
2343→2353[2_1|2]
2343→2365[2_1|2]
2343→2380[2_1|2]
2343→2398[2_1|2]
2343→2419[2_1|2]
2343→2443[2_1|2]
2343→2470[2_1|2]
2344→2345[1_1|2]
2345→2346[0_1|2]
2346→2347[2_1|2]
2347→2348[1_1|2]
2348→2349[0_1|2]
2349→2350[1_1|2]
2350→2351[1_1|2]
2351→2352[2_1|2]
2352→1503[1_1|2]
2352→1527[1_1|2]
2352→1554[1_1|2]
2352→2500[2_1|2]
2352→2509[2_1|2]
2352→2521[2_1|2]
2352→2536[2_1|2]
2352→2554[2_1|2]
2352→2575[2_1|2]
2352→2599[2_1|2]
2352→2626[2_1|2]
2353→2354[1_1|2]
2354→2355[0_1|2]
2355→2356[2_1|2]
2356→2357[1_1|2]
2357→2358[0_1|2]
2358→2359[2_1|2]
2359→2360[1_1|2]
2360→2361[0_1|2]
2361→2362[1_1|2]
2362→2363[1_1|2]
2363→2364[2_1|2]
2364→1503[1_1|2]
2364→1527[1_1|2]
2364→1554[1_1|2]
2364→2500[2_1|2]
2364→2509[2_1|2]
2364→2521[2_1|2]
2364→2536[2_1|2]
2364→2554[2_1|2]
2364→2575[2_1|2]
2364→2599[2_1|2]
2364→2626[2_1|2]
2365→2366[1_1|2]
2366→2367[0_1|2]
2367→2368[2_1|2]
2368→2369[1_1|2]
2369→2370[0_1|2]
2370→2371[2_1|2]
2371→2372[1_1|2]
2372→2373[0_1|2]
2373→2374[2_1|2]
2374→2375[1_1|2]
2375→2376[0_1|2]
2376→2377[1_1|2]
2377→2378[1_1|2]
2378→2379[2_1|2]
2379→1503[1_1|2]
2379→1527[1_1|2]
2379→1554[1_1|2]
2379→2500[2_1|2]
2379→2509[2_1|2]
2379→2521[2_1|2]
2379→2536[2_1|2]
2379→2554[2_1|2]
2379→2575[2_1|2]
2379→2599[2_1|2]
2379→2626[2_1|2]
2380→2381[1_1|2]
2381→2382[0_1|2]
2382→2383[2_1|2]
2383→2384[1_1|2]
2384→2385[0_1|2]
2385→2386[2_1|2]
2386→2387[1_1|2]
2387→2388[0_1|2]
2388→2389[2_1|2]
2389→2390[1_1|2]
2390→2391[0_1|2]
2391→2392[2_1|2]
2392→2393[1_1|2]
2393→2394[0_1|2]
2394→2395[1_1|2]
2395→2396[1_1|2]
2396→2397[2_1|2]
2397→1503[1_1|2]
2397→1527[1_1|2]
2397→1554[1_1|2]
2397→2500[2_1|2]
2397→2509[2_1|2]
2397→2521[2_1|2]
2397→2536[2_1|2]
2397→2554[2_1|2]
2397→2575[2_1|2]
2397→2599[2_1|2]
2397→2626[2_1|2]
2398→2399[1_1|2]
2399→2400[0_1|2]
2400→2401[2_1|2]
2401→2402[1_1|2]
2402→2403[0_1|2]
2403→2404[2_1|2]
2404→2405[1_1|2]
2405→2406[0_1|2]
2406→2407[2_1|2]
2407→2408[1_1|2]
2408→2409[0_1|2]
2409→2410[2_1|2]
2410→2411[1_1|2]
2411→2412[0_1|2]
2412→2413[2_1|2]
2413→2414[1_1|2]
2414→2415[0_1|2]
2415→2416[1_1|2]
2416→2417[1_1|2]
2417→2418[2_1|2]
2418→1503[1_1|2]
2418→1527[1_1|2]
2418→1554[1_1|2]
2418→2500[2_1|2]
2418→2509[2_1|2]
2418→2521[2_1|2]
2418→2536[2_1|2]
2418→2554[2_1|2]
2418→2575[2_1|2]
2418→2599[2_1|2]
2418→2626[2_1|2]
2419→2420[1_1|2]
2420→2421[0_1|2]
2421→2422[2_1|2]
2422→2423[1_1|2]
2423→2424[0_1|2]
2424→2425[2_1|2]
2425→2426[1_1|2]
2426→2427[0_1|2]
2427→2428[2_1|2]
2428→2429[1_1|2]
2429→2430[0_1|2]
2430→2431[2_1|2]
2431→2432[1_1|2]
2432→2433[0_1|2]
2433→2434[2_1|2]
2434→2435[1_1|2]
2435→2436[0_1|2]
2436→2437[2_1|2]
2437→2438[1_1|2]
2438→2439[0_1|2]
2439→2440[1_1|2]
2440→2441[1_1|2]
2441→2442[2_1|2]
2442→1503[1_1|2]
2442→1527[1_1|2]
2442→1554[1_1|2]
2442→2500[2_1|2]
2442→2509[2_1|2]
2442→2521[2_1|2]
2442→2536[2_1|2]
2442→2554[2_1|2]
2442→2575[2_1|2]
2442→2599[2_1|2]
2442→2626[2_1|2]
2443→2444[1_1|2]
2444→2445[0_1|2]
2445→2446[2_1|2]
2446→2447[1_1|2]
2447→2448[0_1|2]
2448→2449[2_1|2]
2449→2450[1_1|2]
2450→2451[0_1|2]
2451→2452[2_1|2]
2452→2453[1_1|2]
2453→2454[0_1|2]
2454→2455[2_1|2]
2455→2456[1_1|2]
2456→2457[0_1|2]
2457→2458[2_1|2]
2458→2459[1_1|2]
2459→2460[0_1|2]
2460→2461[2_1|2]
2461→2462[1_1|2]
2462→2463[0_1|2]
2463→2464[2_1|2]
2464→2465[1_1|2]
2465→2466[0_1|2]
2466→2467[1_1|2]
2467→2468[1_1|2]
2468→2469[2_1|2]
2469→1503[1_1|2]
2469→1527[1_1|2]
2469→1554[1_1|2]
2469→2500[2_1|2]
2469→2509[2_1|2]
2469→2521[2_1|2]
2469→2536[2_1|2]
2469→2554[2_1|2]
2469→2575[2_1|2]
2469→2599[2_1|2]
2469→2626[2_1|2]
2470→2471[1_1|2]
2471→2472[0_1|2]
2472→2473[2_1|2]
2473→2474[1_1|2]
2474→2475[0_1|2]
2475→2476[2_1|2]
2476→2477[1_1|2]
2477→2478[0_1|2]
2478→2479[2_1|2]
2479→2480[1_1|2]
2480→2481[0_1|2]
2481→2482[2_1|2]
2482→2483[1_1|2]
2483→2484[0_1|2]
2484→2485[2_1|2]
2485→2486[1_1|2]
2486→2487[0_1|2]
2487→2488[2_1|2]
2488→2489[1_1|2]
2489→2490[0_1|2]
2490→2491[2_1|2]
2491→2492[1_1|2]
2492→2493[0_1|2]
2493→2494[2_1|2]
2494→2495[1_1|2]
2495→2496[0_1|2]
2496→2497[1_1|2]
2497→2498[1_1|2]
2498→2499[2_1|2]
2499→1503[1_1|2]
2499→1527[1_1|2]
2499→1554[1_1|2]
2499→2500[2_1|2]
2499→2509[2_1|2]
2499→2521[2_1|2]
2499→2536[2_1|2]
2499→2554[2_1|2]
2499→2575[2_1|2]
2499→2599[2_1|2]
2499→2626[2_1|2]
2500→2501[1_1|2]
2501→2502[0_1|2]
2502→2503[2_1|2]
2503→2504[1_1|2]
2504→2505[0_1|2]
2505→2506[1_1|2]
2506→2507[1_1|2]
2507→2508[2_1|2]
2508→1530[1_1|2]
2508→1557[1_1|2]
2508→2656[2_1|2]
2508→2665[2_1|2]
2508→2677[2_1|2]
2508→2692[2_1|2]
2508→2710[2_1|2]
2508→2731[2_1|2]
2508→2755[2_1|2]
2508→2782[2_1|2]
2509→2510[1_1|2]
2510→2511[0_1|2]
2511→2512[2_1|2]
2512→2513[1_1|2]
2513→2514[0_1|2]
2514→2515[2_1|2]
2515→2516[1_1|2]
2516→2517[0_1|2]
2517→2518[1_1|2]
2518→2519[1_1|2]
2519→2520[2_1|2]
2520→1530[1_1|2]
2520→1557[1_1|2]
2520→2656[2_1|2]
2520→2665[2_1|2]
2520→2677[2_1|2]
2520→2692[2_1|2]
2520→2710[2_1|2]
2520→2731[2_1|2]
2520→2755[2_1|2]
2520→2782[2_1|2]
2521→2522[1_1|2]
2522→2523[0_1|2]
2523→2524[2_1|2]
2524→2525[1_1|2]
2525→2526[0_1|2]
2526→2527[2_1|2]
2527→2528[1_1|2]
2528→2529[0_1|2]
2529→2530[2_1|2]
2530→2531[1_1|2]
2531→2532[0_1|2]
2532→2533[1_1|2]
2533→2534[1_1|2]
2534→2535[2_1|2]
2535→1530[1_1|2]
2535→1557[1_1|2]
2535→2656[2_1|2]
2535→2665[2_1|2]
2535→2677[2_1|2]
2535→2692[2_1|2]
2535→2710[2_1|2]
2535→2731[2_1|2]
2535→2755[2_1|2]
2535→2782[2_1|2]
2536→2537[1_1|2]
2537→2538[0_1|2]
2538→2539[2_1|2]
2539→2540[1_1|2]
2540→2541[0_1|2]
2541→2542[2_1|2]
2542→2543[1_1|2]
2543→2544[0_1|2]
2544→2545[2_1|2]
2545→2546[1_1|2]
2546→2547[0_1|2]
2547→2548[2_1|2]
2548→2549[1_1|2]
2549→2550[0_1|2]
2550→2551[1_1|2]
2551→2552[1_1|2]
2552→2553[2_1|2]
2553→1530[1_1|2]
2553→1557[1_1|2]
2553→2656[2_1|2]
2553→2665[2_1|2]
2553→2677[2_1|2]
2553→2692[2_1|2]
2553→2710[2_1|2]
2553→2731[2_1|2]
2553→2755[2_1|2]
2553→2782[2_1|2]
2554→2555[1_1|2]
2555→2556[0_1|2]
2556→2557[2_1|2]
2557→2558[1_1|2]
2558→2559[0_1|2]
2559→2560[2_1|2]
2560→2561[1_1|2]
2561→2562[0_1|2]
2562→2563[2_1|2]
2563→2564[1_1|2]
2564→2565[0_1|2]
2565→2566[2_1|2]
2566→2567[1_1|2]
2567→2568[0_1|2]
2568→2569[2_1|2]
2569→2570[1_1|2]
2570→2571[0_1|2]
2571→2572[1_1|2]
2572→2573[1_1|2]
2573→2574[2_1|2]
2574→1530[1_1|2]
2574→1557[1_1|2]
2574→2656[2_1|2]
2574→2665[2_1|2]
2574→2677[2_1|2]
2574→2692[2_1|2]
2574→2710[2_1|2]
2574→2731[2_1|2]
2574→2755[2_1|2]
2574→2782[2_1|2]
2575→2576[1_1|2]
2576→2577[0_1|2]
2577→2578[2_1|2]
2578→2579[1_1|2]
2579→2580[0_1|2]
2580→2581[2_1|2]
2581→2582[1_1|2]
2582→2583[0_1|2]
2583→2584[2_1|2]
2584→2585[1_1|2]
2585→2586[0_1|2]
2586→2587[2_1|2]
2587→2588[1_1|2]
2588→2589[0_1|2]
2589→2590[2_1|2]
2590→2591[1_1|2]
2591→2592[0_1|2]
2592→2593[2_1|2]
2593→2594[1_1|2]
2594→2595[0_1|2]
2595→2596[1_1|2]
2596→2597[1_1|2]
2597→2598[2_1|2]
2598→1530[1_1|2]
2598→1557[1_1|2]
2598→2656[2_1|2]
2598→2665[2_1|2]
2598→2677[2_1|2]
2598→2692[2_1|2]
2598→2710[2_1|2]
2598→2731[2_1|2]
2598→2755[2_1|2]
2598→2782[2_1|2]
2599→2600[1_1|2]
2600→2601[0_1|2]
2601→2602[2_1|2]
2602→2603[1_1|2]
2603→2604[0_1|2]
2604→2605[2_1|2]
2605→2606[1_1|2]
2606→2607[0_1|2]
2607→2608[2_1|2]
2608→2609[1_1|2]
2609→2610[0_1|2]
2610→2611[2_1|2]
2611→2612[1_1|2]
2612→2613[0_1|2]
2613→2614[2_1|2]
2614→2615[1_1|2]
2615→2616[0_1|2]
2616→2617[2_1|2]
2617→2618[1_1|2]
2618→2619[0_1|2]
2619→2620[2_1|2]
2620→2621[1_1|2]
2621→2622[0_1|2]
2622→2623[1_1|2]
2623→2624[1_1|2]
2624→2625[2_1|2]
2625→1530[1_1|2]
2625→1557[1_1|2]
2625→2656[2_1|2]
2625→2665[2_1|2]
2625→2677[2_1|2]
2625→2692[2_1|2]
2625→2710[2_1|2]
2625→2731[2_1|2]
2625→2755[2_1|2]
2625→2782[2_1|2]
2626→2627[1_1|2]
2627→2628[0_1|2]
2628→2629[2_1|2]
2629→2630[1_1|2]
2630→2631[0_1|2]
2631→2632[2_1|2]
2632→2633[1_1|2]
2633→2634[0_1|2]
2634→2635[2_1|2]
2635→2636[1_1|2]
2636→2637[0_1|2]
2637→2638[2_1|2]
2638→2639[1_1|2]
2639→2640[0_1|2]
2640→2641[2_1|2]
2641→2642[1_1|2]
2642→2643[0_1|2]
2643→2644[2_1|2]
2644→2645[1_1|2]
2645→2646[0_1|2]
2646→2647[2_1|2]
2647→2648[1_1|2]
2648→2649[0_1|2]
2649→2650[2_1|2]
2650→2651[1_1|2]
2651→2652[0_1|2]
2652→2653[1_1|2]
2653→2654[1_1|2]
2654→2655[2_1|2]
2655→1530[1_1|2]
2655→1557[1_1|2]
2655→2656[2_1|2]
2655→2665[2_1|2]
2655→2677[2_1|2]
2655→2692[2_1|2]
2655→2710[2_1|2]
2655→2731[2_1|2]
2655→2755[2_1|2]
2655→2782[2_1|2]
2656→2657[1_1|2]
2657→2658[0_1|2]
2658→2659[2_1|2]
2659→2660[1_1|2]
2660→2661[0_1|2]
2661→2662[1_1|2]
2662→2663[1_1|2]
2663→2664[2_1|2]
2664→1560[1_1|2]
2665→2666[1_1|2]
2666→2667[0_1|2]
2667→2668[2_1|2]
2668→2669[1_1|2]
2669→2670[0_1|2]
2670→2671[2_1|2]
2671→2672[1_1|2]
2672→2673[0_1|2]
2673→2674[1_1|2]
2674→2675[1_1|2]
2675→2676[2_1|2]
2676→1560[1_1|2]
2677→2678[1_1|2]
2678→2679[0_1|2]
2679→2680[2_1|2]
2680→2681[1_1|2]
2681→2682[0_1|2]
2682→2683[2_1|2]
2683→2684[1_1|2]
2684→2685[0_1|2]
2685→2686[2_1|2]
2686→2687[1_1|2]
2687→2688[0_1|2]
2688→2689[1_1|2]
2689→2690[1_1|2]
2690→2691[2_1|2]
2691→1560[1_1|2]
2692→2693[1_1|2]
2693→2694[0_1|2]
2694→2695[2_1|2]
2695→2696[1_1|2]
2696→2697[0_1|2]
2697→2698[2_1|2]
2698→2699[1_1|2]
2699→2700[0_1|2]
2700→2701[2_1|2]
2701→2702[1_1|2]
2702→2703[0_1|2]
2703→2704[2_1|2]
2704→2705[1_1|2]
2705→2706[0_1|2]
2706→2707[1_1|2]
2707→2708[1_1|2]
2708→2709[2_1|2]
2709→1560[1_1|2]
2710→2711[1_1|2]
2711→2712[0_1|2]
2712→2713[2_1|2]
2713→2714[1_1|2]
2714→2715[0_1|2]
2715→2716[2_1|2]
2716→2717[1_1|2]
2717→2718[0_1|2]
2718→2719[2_1|2]
2719→2720[1_1|2]
2720→2721[0_1|2]
2721→2722[2_1|2]
2722→2723[1_1|2]
2723→2724[0_1|2]
2724→2725[2_1|2]
2725→2726[1_1|2]
2726→2727[0_1|2]
2727→2728[1_1|2]
2728→2729[1_1|2]
2729→2730[2_1|2]
2730→1560[1_1|2]
2731→2732[1_1|2]
2732→2733[0_1|2]
2733→2734[2_1|2]
2734→2735[1_1|2]
2735→2736[0_1|2]
2736→2737[2_1|2]
2737→2738[1_1|2]
2738→2739[0_1|2]
2739→2740[2_1|2]
2740→2741[1_1|2]
2741→2742[0_1|2]
2742→2743[2_1|2]
2743→2744[1_1|2]
2744→2745[0_1|2]
2745→2746[2_1|2]
2746→2747[1_1|2]
2747→2748[0_1|2]
2748→2749[2_1|2]
2749→2750[1_1|2]
2750→2751[0_1|2]
2751→2752[1_1|2]
2752→2753[1_1|2]
2753→2754[2_1|2]
2754→1560[1_1|2]
2755→2756[1_1|2]
2756→2757[0_1|2]
2757→2758[2_1|2]
2758→2759[1_1|2]
2759→2760[0_1|2]
2760→2761[2_1|2]
2761→2762[1_1|2]
2762→2763[0_1|2]
2763→2764[2_1|2]
2764→2765[1_1|2]
2765→2766[0_1|2]
2766→2767[2_1|2]
2767→2768[1_1|2]
2768→2769[0_1|2]
2769→2770[2_1|2]
2770→2771[1_1|2]
2771→2772[0_1|2]
2772→2773[2_1|2]
2773→2774[1_1|2]
2774→2775[0_1|2]
2775→2776[2_1|2]
2776→2777[1_1|2]
2777→2778[0_1|2]
2778→2779[1_1|2]
2779→2780[1_1|2]
2780→2781[2_1|2]
2781→1560[1_1|2]
2782→2783[1_1|2]
2783→2784[0_1|2]
2784→2785[2_1|2]
2785→2786[1_1|2]
2786→2787[0_1|2]
2787→2788[2_1|2]
2788→2789[1_1|2]
2789→2790[0_1|2]
2790→2791[2_1|2]
2791→2792[1_1|2]
2792→2793[0_1|2]
2793→2794[2_1|2]
2794→2795[1_1|2]
2795→2796[0_1|2]
2796→2797[2_1|2]
2797→2798[1_1|2]
2798→2799[0_1|2]
2799→2800[2_1|2]
2800→2801[1_1|2]
2801→2802[0_1|2]
2802→2803[2_1|2]
2803→2804[1_1|2]
2804→2805[0_1|2]
2805→2806[2_1|2]
2806→2807[1_1|2]
2807→2808[0_1|2]
2808→2809[1_1|2]
2809→2810[1_1|2]
2810→2811[2_1|2]
2811→1560[1_1|2]

(2) BOUNDS(O(1), O(n^1))